Towards an Automatic Integration of Statecharts

نویسندگان

  • Heinz Frank
  • Johann Eder
چکیده

The integration of statecharts is part of an integration me thodology for object oriented views Statecharts are the most important language for the representation of the behaviour of objects and are used in many object oriented modeling techniques e g in UML In this paper we focus on the situation where the behaviour of an object type is represented in several statecharts which have to be integrated into a single statechart The presented approach allows an automatic integration process but gives the designer possibilities to make own de cisions to guide the integration process and to achieve qualitative design goals

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

From MSCs to Statecharts

Message Sequence Charts (MSCs) have gained wide acceptance for scenario-based specifications of component behavior (see, for instance, [IT96, BMR+96, Rat97, BHKS97]). In particular, they have proven useful in the requirements capture phase of the software development process. However, up to now, most development methods do not assign a precise meaning to this graphical description technique. Mo...

متن کامل

Automatic Test Generation from Statecharts Using Model Checking

This paper describes a method for automatic generation of tests from specifications written in Statecharts. These tests are to be applied to an implementation to validate the consistency of the implementation with respect to the specification. For test coverage, we adapt the notions of control-flow coverage and data-flow coverage used traditionally in software testing to Statecharts. In particu...

متن کامل

From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications

In order to design and implement multiagent systems, the specification method should be as expressive and comprehensive as possible. Statecharts, which are capable of describing dynamic systems and are widely accepted in the computer science community, are applied and investigated for this objective. In this paper, multiagent systems are studied in the domain of robotic soccer, where the behavi...

متن کامل

Model-level Automatic Test Generation for Uml Statecharts

We present a framework for model-level testing of behavioral UML models. For automatic test generation, we use planner algorithms to deal with the complexity of UML models. Our approach is characterized by an automatic and metamodeldriven transformation from UML statecharts to a tool independent representation of planner algorithms from which the input language of concrete planner tools can be ...

متن کامل

Modeling Portlet Aggregation Through Statecharts

A portal is a key component of an enterprise integration strategy. It provides integration at the user interface level, whereas other integration technologies support business process, functional or data integration. To this end, portlet syndication is the next wave following the successful use of content syndication in current portals. A portlet is a front-end application which is rendered wit...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999